A note on the independence of premiss rule
نویسندگان
چکیده
In this paper, we prove that certain theories of (many-sorted) intuitionistic predicate logic is closed under the independence of premiss rule (IPR). As corollaries, we show that HA and HA extended by some non-classical axioms and non-constructive axioms are closed under IPR.
منابع مشابه
The premiss-based approach to judgment aggregation
We investigate judgment aggregation by assuming that some formulas of the agenda are singled out as premisses, and the Independence condition (formula-wise aggregation) holds for them, though perhaps not for others. Whether premiss-based aggregation thus de ned is non-degenerate depends on how premisses are logically connected, both among themselves and with other formulas. We identify necessar...
متن کاملThe Premiss-Based Approach to Logical Aggregation1
We investigate judgment aggregation by assuming that some formulas of the agenda are singled out as premisses, and the Independence condition (formula-wise aggregation) holds for them, though perhaps not for others. Whether premiss-based aggregation thus defined is non-degenerate depends on how premisses are logically connected, both among themselves and with other formulas. We identify necessa...
متن کاملThe Rule of "Nafye Sabil" [i.e. to prevent the Islamic society to be dominated by non-Muslims] in Islamic Thought and Foreign Policy of Islamic Republic of Iran
As a jurisprudential rule, "nafye sabil" has played a sustaining and influential role in Islamic system's major decisions, policies and behavior. This principle is of high importance in Islamic state's foreign relations. Rejecting oppression and tyranny against Muslims and preserving their freedom and removing dependence on aliens is the foundation of this rule in Islamic republic of Iran's for...
متن کاملInfluence of Internal Disputes among Kurdish Parties on the Failure of Independence of Iraqi Kurdistan
The Kurds were originally one of the original Iranian tribesmen who, during the Safavid rule, following the conflict between Shah Isma'il Safavi and Salim I, the king of the Ottoman Empire in the year 1514 on parts of Iran's territory which were Kurdish - called the Chaldoran War- were separated and joined to the Ottoman Empire's territory. These parts today include: today's Turkish Kurdistan, ...
متن کاملA New Statistical Approach for Recognizing and Classifying Patterns of Control Charts (RESEARCH NOTE)
Control chart pattern (CCP) recognition techniques are widely used to identify the potential process problems in modern industries. Recently, artificial neural network (ANN) –based techniques are very popular to recognize CCPs. However, finding the suitable architecture of an ANN-based CCP recognizer and its training process are time consuming and tedious. In addition, because of the black box ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 62 شماره
صفحات -
تاریخ انتشار 2016